Nuprl Definition : ma-abs-interface
11,40
postcript
pdf
[[
X
]](
e
) == if ma-in-interface(
es
;
X
;
e
) then ma-interface-val(
es
;
X
;
e
) else inr
fi
latex
clarification:
ma-abs-interface(
es
;
X
)(
e
)
== if ma-in-interface(
es
;
X
;
e
) then ma-interface-val(
es
;
X
;
e
) else inr
fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
ma-in-interface(
es
;
X
;
e
)
,
inr
x
,
FDL editor aliases
ma-abs-interface
origin
fi
fi fi
fi 
x.A(x)